1. A brief history of numbers /
پدیدآورنده : Leo Corry
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Number theory-- History
رده :
QA241
.
C6945
2015
2. Advanced linear algebra /
پدیدآورنده : Nicholas Loehr, Virginia Polytechic Institute and State University Blacksburg, USA
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebras, Linear
رده :
QA184
.
2
.
L64
2014
3. Advances in Analysis and Geometry
پدیدآورنده : edited by Tao Qian, Thomas Hempfling, Alan McIntosh, Frank Sommen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Functions, special.,Global analysis (Mathematics).,Integral equations.,Mathematical physics.,Mathematics.,Number theory.,Operator theory.
4. Africa and mathematics :
پدیدآورنده : Dirk Huylebrouck.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Ethnomathematics-- Africa, Central.,Ethnomathematics.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Central Africa., 7
رده :
GN476
.
15
.
H89
2019
5. Algebraic Integrability of Nonlinear Dynamical Systems on Manifolds
پدیدآورنده : by Anatoliy K. Prykarpatsky, Ihor V. Mykytiuk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cell aggregation-- Mathematics.,Differential Equations.,Global differential geometry.,Physics.,Topological Groups.
6. Algebre et analyse lineaires
پدیدآورنده : Lichnerowicz, Andre
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Algebra, Universal,، Mathematical analysis
رده :
QA
251
.
L5
7. An invitation to applied category theory :
پدیدآورنده : Brendan Fong, David I. Spivak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
رده :
QA9
.
25
.
F66
2019
8. Artificial intelligence for big data :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Big data.,Business logistics-- Data processing.,Big data.,Business logistics-- Data processing.,COMPUTERS-- Databases-- Data Warehousing.
رده :
QA76
.
9
.
B45
.
D474
2018eb
9. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
10. Endliche Strukturen /
پدیدآورنده : Kristina Reiss, Gernot Stroth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra, Abstract.,Algebra, Universal.,Finite groups.,Finite model theory.,Mathematical analysis.,Algebra, Abstract.,Algebra, Universal.,Finite groups.,Finite model theory.,Mathematical analysis.
رده :
QA300
.
R45
2011eb
11. Finite mathematical structures
پدیدآورنده : KEMENY,JOHN G
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : MATHEMATICAL ANALYSIS , ALGEBRA UNIVERSAL
رده :
QA
37
.
K42
1959
12. Finite mathematical structures
پدیدآورنده : Kemeny, John G.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematical analysis,، Algebra, Universal
رده :
QA
37
.
K42
1959
13. Finite mathematical structures
پدیدآورنده : Kemeny, John G
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematical analysis,، Algebra, Universal
رده :
QA
37
.
K42
14. Finite mathematical structures
پدیدآورنده : [by] John G. Kemeny...[and others]
موضوع : Mathematical analysis,Algebra, Universal
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. Finite mathematical structures
پدیدآورنده : / John G. Kemeny ... [et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Mathematical analysis,Algebra, universal
رده :
512
.
89
Ke-F
16. New trends in approximation theory :
پدیدآورنده : Javad Mashreghi, Myrto Manolaki, Paul Gauthier, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Boivin, Andre,1955-Career in mathematics,Approximation theory, Congresses.,Approximations and Expansions.,Approximation theory.,Differential calculus & equations.,MATHEMATICS-- Algebra-- Intermediate.,Mathematics.
رده :
QA221
17. Noncompact Lie Groups and Some of Their Applications
پدیدآورنده : edited by Elizabeth A. Tanner, Raj Wilson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Group theory.,Mathematics.
18. Problems and proofs in numbers and algebra
پدیدآورنده : /Richard S. Millman, Peter J. Shiue, Eric Brendan Kahn.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Algebra,Mathematical logic., Number theory.
رده :
QA152
.
P7M5
2015
19. The origin of the logic of symbolic mathematics :
پدیدآورنده : Burt C. Hopkins
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
H66
2011
20. Theorem proving with the real numbers.
پدیدآورنده : John Harrison
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
QA76
.
9
.
A96
J646
2012
